🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
A Wide Reduction Trick (2022)
words.filippo.io·9h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Issue 481
haskellweekly.news·17m
🔗Functional Compilers
This “smart coach” helps LLMs switch between text and code
news.mit.edu·8h
💻Local LLMs
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
LLMs Are Bad at Being Forced
morphllm.com·18m·
Discuss: Hacker News
💻Local LLMs
How to actually use Model Context Protocol
seangoedecke.com·12h
⚡Proof Automation
2011 N1 = 2024 A2
blog.evanchen.cc·18h
🔬Lean
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·3h
🏭Compiler Backends
How Amazon Bedrock CMI Cut AI Model Onboarding Time by 75%
engineering.salesforce.com·1d
🔄Sync Engine
Rethinking Distributed Computing for the AI Era
cacm.acm.org·17h
⚡Incremental Computation
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Good binding data is all you need
leashbio.substack.com·12h·
Discuss: Substack
🗂️Vector Databases
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·21h·
Discuss: Hacker News
🤖Network Automation
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·2d·
Discuss: Hacker News
🌳Context free grammars